Filter Based Diagnosis for Multiple Design Errors

Both due to the increasing complexity of VLSI circuits and due to the increasing trend to design automation, error diagnosis of digital circuits becomes more and more important. In this paper we present a filter based approach to diagnosis of multiple design errors. Although we present an exact solution to identifying the error location, experimental results show the efficiency of our approach. Our approach is based on the combination of structural arguments and numerous methods differing in their accuracy and complexity. We also present a novel search strategy for error candidates based on recursive partitioning.